On generalizing transitivity, persistence, and sensitivity

A subgroup property $\alpha $ is transitive in a group $G$ if $U \alpha V$ and $V \alpha G$ imply that $U \alpha G$ whenever $U \le V \le G$ , and $\alpha $ is persistent in $G$ if $U \alpha G$ implies that $U \alpha V$ whenever $U \le V \le G$ . Even though a subgroup property $\alpha $ may be neither transitive nor persistent, a given subgroup $U$ may have the property that each $\alpha $ -subgroup of $U$ is an $\alpha $ -subgroup of $G$ , or that each $\alpha $ -subgroup of $G$ in $U$ is an $\alpha $ -subgroup of $U$ . We call these subgroup properties $\alpha $ -transitivity and $\alpha $ -persistence, respectively. We introduce and develop the notions of $\alpha $ -transitivity and $\alpha $ -persistence, and we establish how the former property is related to $\alpha $ -sensitivity. In order to demonstrate how these concepts can be used, we apply the results to the cases in which $\alpha $ is replaced with “normal” and the “cover-avoidance property.” We also suggest ways in which the theory can be developed further.     

Chromatic Gallai identities operating on Lovász number

If $G$ is a triangle-free graph, then two Gallai identities can be written as $\alpha (G)+\overline{\chi }(L(G))=|V(G)|=\alpha (L(G))+\overline{\chi }(G)$ , where $\alpha $ and $\overline{\chi }$ denote the stability number and the clique-partition number, and $L(G)$ is the line graph of  $G$ . We show that, surprisingly, both equalities can be preserved for any graph $G$ by deleting the edges of the line graph corresponding to simplicial pairs of adjacent arcs, according to any acyclic orientation of  $G$ . As a consequence, one obtains an operator $\Phi $ which associates to any graph parameter $\beta $ such that $\alpha (G) \le \beta (G) \le \overline{\chi }(G)$ for all graph $G$ , a graph parameter $\Phi _\beta $ such that $\alpha (G) \le \Phi _\beta (G) \le \overline{\chi }(G)$ for all graph $G$ . We prove that $\vartheta (G) \le \Phi _\vartheta (G)$ and that $\Phi _{\overline{\chi }_f}(G)\le \overline{\chi }_f(G)$ for all graph  $G$ , where $\vartheta $ is Lovász theta function and $\overline{\chi }_f$ is the fractional clique-partition number. Moreover, $\overline{\chi }_f(G) \le \Phi _\vartheta (G)$ for triangle-free $G$ . Comparing to the previous strengthenings $\Psi _\vartheta $ and $\vartheta ^{+ \triangle }$ of $\vartheta $ , numerical experiments show that $\Phi _\vartheta $ is a significant better lower bound for $\overline{\chi }$ than $\vartheta $ .     

A unified approach for minimizing composite norms

We propose a first-order augmented Lagrangian algorithm (FALC) to solve the composite norm minimization problem $$\begin{aligned} \begin{array}{ll} \min \limits _{X\in \mathbb{R }^{m\times n}}&\mu _1\Vert \sigma (\mathcal{F }(X)-G)\Vert _\alpha +\mu _2\Vert \mathcal{C }(X)-d\Vert _\beta ,\\ \text{ subject} \text{ to}&\mathcal{A }(X)-b\in \mathcal{Q }, \end{array} \end{aligned}$$ where $\sigma (X)$ denotes the vector of singular values of $X \in \mathbb{R }^{m\times n}$ , the matrix norm $\Vert \sigma (X)\Vert _{\alpha }$ denotes either the Frobenius, the nuclear, or the $\ell _2$ -operator norm of $X$ , the vector norm $\Vert .\Vert _{\beta }$ denotes either the $\ell _1$ -norm, $\ell _2$ -norm or the $\ell _{\infty }$ -norm; $\mathcal{Q }$ is a closed convex set and $\mathcal{A }(.)$ , $\mathcal{C }(.)$ , $\mathcal{F }(.)$ are linear operators from $\mathbb{R }^{m\times n}$ to vector spaces of appropriate dimensions. Basis pursuit, matrix completion, robust principal component pursuit (PCP), and stable PCP problems are all special cases of the composite norm minimization problem. Thus, FALC is able to solve all these problems in a unified manner. We show that any limit point of FALC iterate sequence is an optimal solution of the composite norm minimization problem. We also show that for all $\epsilon >0$ , the FALC iterates are $\epsilon $ -feasible and $\epsilon $ -optimal after $\mathcal{O }(\log (\epsilon ^{-1}))$ iterations, which require $\mathcal{O }(\epsilon ^{-1})$ constrained shrinkage operations and Euclidean projection onto the set $\mathcal{Q }$ . Surprisingly, on the problem sets we tested, FALC required only $\mathcal{O }(\log (\epsilon ^{-1}))$ constrained shrinkage, instead of the $\mathcal{O }(\epsilon ^{-1})$ worst case bound, to compute an $\epsilon $ -feasible and $\epsilon $ -optimal solution. To best of our knowledge, FALC is the first algorithm with a known complexity bound that solves the stable PCP problem.     

Ranks of backward shift invariant subspaces of the Hardy space over the bidisk

Let $\{\varphi _n(z)\}_{n\ge 0}$ be a sequence of inner functions satisfying that $\zeta _n(z):=\varphi _n(z)/\varphi _{n+1}(z)\in H^\infty (z)$ for every $n\ge 0$ and $\{\varphi _n(z)\}_{n\ge 0}$ has no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace $\mathcal{M }$ of $H^2(\mathbb{D }^2)$ . The ranks of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }_z$ and $\mathcal{F }^*_z$ respectively are determined, where $\mathcal{F }_z$ is the fringe operator on $\mathcal{M }\ominus w\mathcal{M }$ . Let $\mathcal{N }= H^2(\mathbb{D }^2)\ominus \mathcal{M }$ . It is also proved that the rank of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }^*_z$ equals to the rank of $\mathcal{N }$ for $T^*_z$ and $T^*_w$ .     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

Pillai’s generalized function

The distribution of values of Pillai’s function over the ring of Gauss integers $ \mathbb{Z}\left[ i \right] $ is studied. The asymptotic formulas for the summators $ {\varSigma_{{N\left( \alpha \right)\leq x}}}\frac{{g\left( \alpha \right)}}{{{N^{\alpha }}\left( \alpha \right)}} $ , where $ a\in \mathbb{R} $ , are found.     

An extension of one direction in Marty’s normality criterion

We prove the following extension of one direction in Marty’s theorem: If $k$ is a natural number, $\alpha >1$ and $\mathcal{F }$ is a family of functions meromorphic on a domain $D$ all of whose poles have multiplicity at least $\frac{k}{\alpha -1}$ , then the normality of $\mathcal{F }$ implies that the family $$\begin{aligned} \left\{ \frac{|f^{(k)}|}{1+|f|^\alpha }\,:\, f\in \mathcal{F }\right\} \end{aligned}$$ is locally uniformly bounded.     

An Index Formula in Connection with Meromorphic Approximation

Let $\Phi $ be a continuous $n\times n$ matrix-valued function on the unit circle $\mathbb T $ such that the $(k-1)$ st singular value of the Hankel operator with symbol $\Phi $ is greater than the $k$ th singular value. In this case, it is well-known that $\Phi $ has a unique superoptimal meromorphic approximant $Q$ in $H^{\infty }_{(k)}$ ; that is, $Q$ has at most $k$ poles in the unit disc $\mathbb D $ (in the sense that the McMillan degree of $Q$ in $\mathbb D $ is at most $k$ ) and $Q$ minimizes the essential suprema of singular values $s_{j}\left((\Phi -Q)(\zeta )\right)\!, j\ge 0$ , with respect to the lexicographic ordering. For each $j\ge 0$ , the essential supremum of $s_{j}\left((\Phi -Q)(\zeta )\right)$ is called the $j$ th superoptimal singular value of degree $k$ of $\Phi $ . We prove that if $\Phi $ has $n$ non-zero superoptimal singular values of degree $k$ , then the Toeplitz operator $T_{\Phi -Q}$ with symbol $\Phi -Q$ is Fredholm and has index $$ \mathrm{ind}T_{\Phi -Q}=\dim \ker T_{\Phi -Q}=2k+\dim \mathcal E , $$ where $\mathcal E =\{ \xi \in \ker H_{Q}: \Vert H_{\Phi }\xi \Vert _{2}=\Vert (\Phi -Q)\xi \Vert _{2}\}$ and $H_{\Phi }$ denotes the Hankel operator with symbol $\Phi $ . This result can in fact be extended from continuous matrix-valued functions to the wider class of $k$ -admissible matrix-valued functions, i.e. essentially bounded $n\times n$ matrix-valued functions $\Phi $ on $\mathbb T $ for which the essential norm of the Hankel operator $H_{\Phi }$ is strictly less than the smallest non-zero superoptimal singular value of degree $k$ of $\Phi $ .     

Linear complementarity as absolute value equation solution

We consider the linear complementarity problem (LCP): $Mz+q\ge 0, z\ge 0, z^{\prime }(Mz+q)=0$ as an absolute value equation (AVE): $(M+I)z+q=|(M-I)z+q|$ , where $M$ is an $n\times n$ square matrix and $I$ is the identity matrix. We propose a concave minimization algorithm for solving (AVE) that consists of solving a few linear programs, typically two. The algorithm was tested on 500 consecutively generated random solvable instances of the LCP with $n=10, 50, 100, 500$ and 1,000. The algorithm solved $100\,\%$ of the test problems to an accuracy of $10^{-8}$ by solving 2 or less linear programs per LCP problem.     

A finite-volume version of Aizenman–Higuchi theorem for the 2d Ising model

In the late 1970s, in two celebrated papers, Aizenman and Higuchi independently established that all infinite-volume Gibbs measures of the two-dimensional ferromagnetic nearest-neighbor Ising model at inverse temperature ${\beta\geq 0}$ are of the form ${\alpha\mu^{+}_\beta + (1-\alpha)\mu^{-}_\beta}$ , where ${\mu^{+}_\beta}$ and ${\mu^{-}_\beta}$ are the two pure phases and ${0\leq\alpha\leq 1}$ . We present here a new approach to this result, with a number of advantages: (a) We obtain an optimal finite-volume, quantitative analogue (implying the classical claim); (b) the scheme of our proof seems more natural and provides a better picture of the underlying phenomenon; (c) this new approach might be applicable to systems for which the classical method fails.     

Hausdorff measures of subgroups of \mathbb{R }/\mathbb{Z } and \mathbb{R }

For a sequence $\underline{u}=(u_n)_{n\in \mathbb{N }}$ of integers, let $t_{\underline{u}}(\mathbb{T })$ be the group of all topologically $\underline{u}$ -torsion elements of the circle group $\mathbb{T }:=\mathbb{R }/\mathbb{Z }$ . We show that for any $s\in ]0,1[$ and $m\in \{0,+\infty \}$ there exists $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has Hausdorff dimension $s$ and $s$ -dimensional Hausdorff measure equal to $m$ (no other values for $m$ are possible). More generally, for dimension functions $f,g$ with $f(t)\prec g(t), f(t)\prec \!\!\!\prec t$ and $g(t)\prec \!\!\!\prec t$ we find $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has at the same time infinite $f$ -measure and null $g$ -measure.     

The Oldroyd-\alpha model for the incompressible viscoelastic flow

In this paper, we introduce and study a new model, which is called the Lagrangian-averaged Oldroyd- $\alpha $ (LAO- $\alpha $ ) model in two space dimensions. Such a model is inspired by the Lagrangian-averaged Navier–Stokes- $\alpha $ model (also known as the viscous Camassa–Holm equations). We obtain global existence result for the Cauchy problem of the LAO- $\alpha $ model. And we prove that a subsequence of solutions of the LAO- $\alpha $ equations converges to certain solution of the two-dimensional Oldroyd model as $\alpha $ converges to zero.     

[1,1,t]-Colorings of Complete Graphs

Given non-negative integers $r, s,$ and $t,$ an $[r,s,t]$ -coloring of a graph $G = (V(G),E(G))$ is a mapping $c$ from $V(G) \cup E(G)$ to the color set $\{1,\ldots ,k\}$ such that $\left|c(v_i) - c(v_j)\right| \ge r$ for every two adjacent vertices $v_i,v_j, \left|c({e_i}) - c(e_j)\right| \ge s$ for every two adjacent edges $e_i,e_j,$ and $\left|c(v_i) - c(e_j)\right| \ge t$ for all pairs of incident vertices and edges, respectively. The $[r,s,t]$ -chromatic number $\chi _{r,s,t}(G)$ of $G$ is defined to be the minimum $k$ such that $G$ admits an $[r,s,t]$ -coloring. In this note we examine $\chi _{1,1,t}(K_p)$ for complete graphs $K_p.$ We prove, among others, that $\chi _{1,1,t}(K_p)$ is equal to $p+t-2+\min \{p,t\}$ whenever $t \ge \left\lfloor {\frac{p}{2}}\right\rfloor -1,$ but is strictly larger if $p$ is even and sufficiently large with respect to $t.$ Moreover, as $p \rightarrow \infty $ and $t=t(p),$ we asymptotically have $\chi _{1,1,t}(K_p)=p+o(p)$ if and only if $t=o(p).$      

Diophantine approximation with sign constraints

Let $\alpha $ and $\beta $ be real numbers such that $1$ , $\alpha $ and $\beta $ are linearly independent over $\mathbb {Q}$ . A classical result of Dirichlet asserts that there are infinitely many triples of integers $(x_0,x_1,x_2)$ such that $|x_0+\alpha x_1+\beta x_2| < \max \{|x_1|,|x_2|\}^{-2}$ . In 1976, Schmidt asked what can be said under the restriction that $x_1$ and $x_2$ be positive. Upon denoting by $\gamma \cong 1.618$ the golden ratio, he proved that there are triples $(x_0,x_1,x_2) \in \mathbb {Z}^3$ with $x_1,x_2>0$ for which the product $|x_0 + \alpha x_1 + \beta x_2| \max \{|x_1|,|x_2|\}^\gamma $ is arbitrarily small. Although Schmidt later conjectured that $\gamma $ can be replaced by any number smaller than $2$ , Moshchevitin proved very recently that it cannot be replaced by a number larger than $1.947$ . In this paper, we present a construction of points $(1,\alpha ,\beta )$ showing that the result of Schmidt is in fact optimal. These points also possess strong additional Diophantine properties that are described in the paper.     

How large dimension guarantees a given angle?

We study the following two problems: (1) Given $n\ge 2$ and $0\le \alpha \le 180^\circ $ , how large Hausdorff dimension can a compact set $A\subset \mathbb{R }^n$ have if $A$ does not contain three points that form an angle $\alpha $ ? (2) Given $\alpha $ and $\delta $ , how large Hausdorff dimension can a subset $A$ of a Euclidean space have if $A$ does not contain three points that form an angle in the $\delta $ -neighborhood of $\alpha $ ? An interesting phenomenon is that different angles show different behaviour in the above problems. Apart from the clearly special extreme angles $0$ and $180^\circ $ , the angles $60^\circ , 90^\circ $ and $120^\circ $ also play special role in problem (2): the maximal dimension is smaller for these angles than for the other angles. In problem (1) the angle $90^\circ $ seems to behave differently from other angles.     

On semi-classical limits of ground states of a nonlinear Maxwell–Dirac system

We study the semi-classical ground states of the nonlinear Maxwell–Dirac system: $$\begin{aligned} \left\{ \begin{array}{l} \alpha \cdot \left( i\hbar \nabla + q(x)\mathbf{A }(x)\right) w-a\beta w -\omega w - q(x)\phi (x) w = P(x)g(\left| w\right| ) w\\ -\Delta \phi =q(x)\left| w\right| ^2\\ -\Delta {A_k}=q(x)(\alpha _k w)\cdot \bar{w}\ \ \ \ k=1,2,3 \end{array} \right. \end{aligned}$$ for \(x\in \mathbb{R }^3\) , where \(\mathbf{A }\) is the magnetic field, \(\phi \) is the electron field and \(q\) describes the changing pointwise charge distribution. We develop a variational method to establish the existence of least energy solutions for \(\hbar \) small. We also describe the concentration behavior of the solutions as \(\hbar \rightarrow 0\) .     

A generalized min–max theorem for functionals of strongly indefinite sign

We consider non-linear Schrödinger equations of the following type: $$\begin{aligned} \left\{ \begin{array}{l} -\Delta u(x) + V(x)u(x)-q(x)|u(x)|^\sigma u(x) = \lambda u(x), \quad x\in \mathbb{R }^N \\ u\in H^1(\mathbb{R }^N)\setminus \{0\}, \end{array} \right. \end{aligned}$$ where $N\ge 1$ and $\sigma >0$ . We will concentrate on the case where both $V$ and $q$ are periodic, and we will analyse what happens for different values of $\lambda $ inside a spectral gap $]\lambda ^-,\lambda ^+[$ . We derive both the existence of multiple orbits of solutions and the bifurcation of solutions when $\lambda \nearrow \lambda ^+$ . Thereby we use the corresponding energy function ${I_\lambda }$ and we derive a new variational characterization of multiple critical levels for such functionals: in this way we get multiple orbits of solutions. One main advantage of our new view on some specific critical values $c_0(\lambda )\le c_1(\lambda )\le \cdots \le c_n(\lambda )\le \cdots $ is a multiplicity result telling us something about the number of critical points with energies below $c_n(\lambda )$ , even if for example two of these values $c_i(\lambda )$ and $c_j(\lambda )$ ( $0\le i<j\le n$ ) coincide. Let us close this summary by mentioning another main advantage of our variational characterization of critical levels: we present our result in an abstract setting that is suitable for other problems and we give some hints about such problems (like the case corresponding to a Coulomb potential $V$ ) at the end of the present paper.     

\alpha -Admissibility for Ritt Operators

Let $T:X\rightarrow X$ be a power bounded operator on Banach space. An operator $C:X\rightarrow Y$ is called admissible for $T$ if it satisfies an estimate $\sum _k\Vert CT^k(x)\Vert ^2\,\le M^2\Vert x\Vert ^2$ . Following Harper and Wynn, we study the validity of a certain Weiss conjecture in this discrete setting. We show that when $X$ is reflexive and $T$ is a Ritt operator satisfying a appropriate square function estimate, $C$ is admissible for $T$ if and only if it satisfies a uniform estimate $(1-\vert \omega \vert ^2)^{\frac{1}{2}}\Vert C(I-\omega T)^{-1}\Vert \,\le K\,$ for $\omega \in \mathbb{C }$ , $\vert \omega \vert <1$ . We extend this result to the more general setting of $\alpha $ -admissibility. Then we investigate a natural variant of admissibility involving $R$ -boundedness and provide examples to which our general results apply.     

Some properties of a hypergeometric function which appear in an approximation problem

In this paper we consider properties and power expressions of the functions $f:(-1,1)\rightarrow \mathbb{R }$ and $f_L:(-1,1)\rightarrow \mathbb{R }$ , defined by $$\begin{aligned} f(x;\gamma )=\frac{1}{\pi }\int \limits _{-1}^1 \frac{(1+xt)^\gamma }{\sqrt{1-t^2}}\,\mathrm{d}t \quad \text{ and}\quad f_L(x;\gamma )=\frac{1}{\pi }\int \limits _{-1}^1 \frac{(1+xt)^\gamma \log (1+x t)}{\sqrt{1-t^2}}\,\mathrm{d}t, \end{aligned}$$ respectively, where $\gamma $ is a real parameter, as well as some properties of a two parametric real-valued function $D(\,\cdot \,;\alpha ,\beta ) :(-1,1) \rightarrow \mathbb{R }$ , defined by $$\begin{aligned} D(x;\alpha ,\beta )= f(x;\beta )f(x;-\alpha -1)- f(x;-\alpha )f(x;\beta -1),\quad \alpha ,\beta \in \mathbb{R }. \end{aligned}$$ The inequality of Turán type $$\begin{aligned} D(x;\alpha ,\beta )>0,\quad -1<x<1, \end{aligned}$$ for $\alpha +\beta >0$ is proved, as well as an opposite inequality if $\alpha +\beta <0$ . Finally, for the partial derivatives of $D(x;\alpha ,\beta )$ with respect to $\alpha $ or $\beta $ , respectively $A(x;\alpha ,\beta )$ and $B(x;\alpha ,\beta )$ , for which $A(x;\alpha ,\beta )=B(x;-\beta ,-\alpha )$ , some results are obtained. We mention also that some results of this paper have been successfully applied in various problems in the theory of polynomial approximation and some “truncated” quadrature formulas of Gaussian type with an exponential weight on the real semiaxis, especially in a computation of Mhaskar–Rahmanov–Saff numbers.