A Banach–Zarecki Theorem for functions with values in Banach spaces

A Banach–Zarecki Theorem for a Banach space-valued function  \(F : [0,1] \rightarrow X\) with compact range is presented. We define the strong absolute continuity ( \(sAC_{||.||_{F}}\) ) and the bounded variation ( \(BV_{||.||_{F}}\) ) of \(F\) with respect to the Minkowski functional \(||.||_{F}\) associated to the closed absolutely convex hull \(C_{F}\) of \(F([0,1])\) . It is proved that \(F\) is \(sAC_{||.||_{F}}\) if and only if \(F\) is \(BV_{||.||_{F}}\) , weak continuous on \([0,1]\) and satisfies the weak property \((N)\) .     

The differentiability of Banach space-valued functions of bounded variation

In this paper we consider Banach space-valued functions with the compact range. It is shown that if a Banach space-valued function $F:[0,1] \rightarrow X$ is of bounded variation with respect to the Minkowski functional $||.||_{F}$ associated to the closed absolutely convex hull $C_{F}$ of $F([0,1])$ , then $F$ is differentiable almost everywhere on $[0,1]$ .     

Bi-Sobolev homeomorphism with zero Jacobian almost everywhere

Let \(N\ge 3\) . We construct a homeomorphism \(f\) in the Sobolev space \(W^{1,1}((0,1)^N,(0,1)^N)\) such that \(f^{-1}\in W^{1,1}((0,1)^N,(0,1)^N)\) , \(J_f=0\) a.e. and \(J_{f^{-1}}=0\) a.e. It follows that \(f\) maps a set of full measure to a null set and a remaining null set to a set of full measure.We also show that such a pathological homeomorphism cannot exist in dimension \(N=2\) or with higher regularity \(f\in W^{1,N-1}\) .     

Integer-valued polynomials over matrices and divided differences

Let $D$ be an integrally closed domain with quotient field $K$ and $n$ a positive integer. We give a characterization of the polynomials in $K[X]$ which are integer-valued over the set of matrices $M_n(D)$ in terms of their divided differences. A necessary and sufficient condition on $f\in K[X]$ to be integer-valued over $M_n(D)$ is that, for each $k$ less than $n$ , the $k$ th divided difference of $f$ is integral-valued on every subset of the roots of any monic polynomial over $D$ of degree $n$ . If in addition $D$ has zero Jacobson radical then it is sufficient to check the above conditions on subsets of the roots of monic irreducible polynomials of degree $n$ , that is, conjugate integral elements of degree $n$ over $D$ .     

On cycles for the doubling map which are disjoint from an interval

Let \(T:[0,1]\rightarrow [0,1]\) be the doubling map and let \(0 . We say that an integer \(n\ge 3\) is bad for \((a,b)\) if all \(n\) -cycles for \(T\) intersect \((a,b)\) . Let \(B(a,b)\) denote the set of all \(n\) which are bad for \((a,b)\) . In this paper we completely describe the sets: $$\begin{aligned} D_2=\{(a,b) : B(a,b)\,\text {is finite}\} \end{aligned}$$ and $$\begin{aligned} D_3=\{(a,b) : B(a,b)=\varnothing \}. \end{aligned}$$ In particular, we show that if \(b-a<\frac{1}{6}\) , then \((a,b)\in D_2\) , and if \(b-a\le \frac{2}{15}\) , then \((a,b)\in D_3\) , both constants being sharp.     

1/2-Heavy sequences driven by rotation

We investigate the set of \(x \in S^1\) such that for every positive integer \(N\) , the first \(N\) points in the orbit of \(x\) under rotation by irrational \(\theta \) contain at least as many values in the interval \([0,1/2]\) as in the complement. By using a renormalization procedure, we show both that the Hausdorff dimension of this set is the same constant (strictly between zero and one) for almost-every \(\theta \) , and that for every \(d \in [0,1]\) there is a dense set of \(\theta \) for which the Hausdorff dimension of this set is \(d\) .     

On the field of definition of p-torsion points on elliptic curves over the rationals

Let $S_\mathbb Q (d)$ be the set of primes $p$ for which there exists a number field $K$ of degree $\le d$ and an elliptic curve $E/\mathbb Q $ , such that the order of the torsion subgroup of $E(K)$ is divisible by $p$ . In this article we give bounds for the primes in the set $S_\mathbb Q (d)$ . In particular, we show that, if $p\ge 11$ , $p\ne 13,37$ , and $p\in S_\mathbb Q (d)$ , then $p\le 2d+1$ . Moreover, we determine $S_\mathbb Q (d)$ for all $d\le 42$ , and give a conjectural formula for all $d\ge 1$ . If Serre’s uniformity problem is answered positively, then our conjectural formula is valid for all sufficiently large $d$ . Under further assumptions on the non-cuspidal points on modular curves that parametrize those $j$ -invariants associated to Cartan subgroups, the formula is valid for all $d\ge 1$ .     

A unified algorithm for mixed l_{2,p}-minimizations and its application in feature selection

Recently, matrix norm $l_{2,1}$ has been widely applied to feature selection in many areas such as computer vision, pattern recognition, biological study and etc. As an extension of $l_1$ norm, $l_{2,1}$ matrix norm is often used to find jointly sparse solution. Actually, computational studies have showed that the solution of $l_p$ -minimization ( $0<p<1$ ) is sparser than that of $l_1$ -minimization. The generalized $l_{2,p}$ -minimization ( $p\in (0,1]$ ) is naturally expected to have better sparsity than $l_{2,1}$ -minimization. This paper presents a type of models based on $l_{2,p}\ (p\in (0, 1])$ matrix norm which is non-convex and non-Lipschitz continuous optimization problem when $p$ is fractional ( $0<p<1$ ). For all $p$ in $(0, 1]$ , a unified algorithm is proposed to solve the $l_{2,p}$ -minimization and the convergence is also uniformly demonstrated. In the practical implementation of algorithm, a gradient projection technique is utilized to reduce the computational cost. Typically different $l_{2,p}\ (p\in (0,1])$ are applied to select features in computational biology.     

Stability results for the N-dimensional Schiffer conjecture via a perturbation method

Given a eigenvalue $\mu _{0m}^2$ of $-\Delta $ in the unit ball $B_1$ , with Neumann boundary conditions, we prove that there exists a class $\mathcal{D}$ of $C^{0,1}$ -domains, depending on $\mu _{0m} $ , such that if $u$ is a no trivial solution to the following problem $ \Delta u+\mu u=0$ in $\Omega , u=0$ on $\partial \Omega $ , and $ \int \nolimits _{\partial \Omega }\partial _{\mathbf{n}}u=0$ , with $\Omega \in \mathcal{D}$ , and $\mu =\mu _{0m}^2+o(1)$ , then $\Omega $ is a ball. Here $\mu $ is a eigenvalue of $-\Delta $ in $\Omega $ , with Neumann boundary conditions.     

Uncertainty principles and sum complexes

Let \(p\) be a prime and let \(A\) be a nonempty subset of the cyclic group \(C_p\) . For a field \({\mathbb F}\) and an element \(f\) in the group algebra \({\mathbb F}[C_p]\) let \(T_f\) be the endomorphism of \({\mathbb F}[C_p]\) given by \(T_f(g)=fg\) . The uncertainty number \(u_{{\mathbb F}}(A)\) is the minimal rank of \(T_f\) over all nonzero \(f \in {\mathbb F}[C_p]\) such that \(\mathrm{supp}(f) \subset A\) . The following topological characterization of uncertainty numbers is established. For \(1 \le k \le p\) define the sum complex \(X_{A,k}\) as the \((k-1)\) -dimensional complex on the vertex set \(C_p\) with a full \((k-2)\) -skeleton whose \((k-1)\) -faces are all \(\sigma \subset C_p\) such that \(|\sigma |=k\) and \(\prod _{x \in \sigma }x \in A\) . It is shown that if \({\mathbb F}\) is algebraically closed then $$\begin{aligned} u_{{\mathbb F}}(A)=p-\max \{k :\tilde{H}_{k-1}(X_{A,k};{\mathbb F}) \ne 0\}. \end{aligned}$$ The main ingredient in the proof is the determination of the homology groups of \(X_{A,k}\) with field coefficients. In particular it is shown that if \(|A| \le k\) then \(\tilde{H}_{k-1}(X_{A,k};{\mathbb F}_p)\!=\!0.\)      

On a convolution series attached to a Siegel Hecke cusp form of degree 2

We prove that the “naive” convolution Dirichlet series $D_{2}(s)$ attached to a degree 2 Siegel Hecke cusp form $F$ , has a pole at $s=1$ . As an application, we write down the asymptotic formula for the partial sums of the squares of the eigenvalues of $F$ with an explicit error term. Further, as a corollary, we are able to show that the abscissa of absolute convergence of the (normalized) spinor-zeta function attached to $F$ is $s = 1$ .     

Logarithmic Mean Oscillation on the Polydisc,Multi-Parameter Paraproducts and Iterated Commutators

We introduce another notion of bounded logarithmic mean oscillation in the \(N\) -torus and give an equivalent definition in terms of boundedness of multi-parameter paraproducts from the dyadic little \(\mathrm {BMO}\) , \(\mathrm {bmo}^d(\mathbb {T}^N)\) to the dyadic product \(\mathrm {BMO}\) space, \(\mathrm {BMO}^d(\mathbb {T}^N)\) . We also obtain a sufficient condition for the boundedness of the iterated commutators from the subspace of \(\mathrm {bmo}(\mathbb {R}^N)\) consisting of functions with support in \([0,1]^N\) to \(\mathrm {BMO}(\mathbb {R}^N)\) .     

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 $ .     

Quotient Algebras of Toeplitz-Composition C^{*}-Algebras for Finite Blaschke Products

Let $R$ be a finite Blaschke product. We study the $C^*$ -algebra $\mathcal TC _R$ generated by both the composition operator $C_R$ and the Toeplitz operator $T_z$ on the Hardy space. We show that the simplicity of the quotient algebra $\mathcal OC _R$ by the ideal of the compact operators can be characterized by the dynamics near the Denjoy–Wolff point of $R$ if the degree of $R$ is at least two. Moreover we prove that the degree of finite Blaschke products is a complete isomorphism invariant for the class of $\mathcal OC _R$ such that $R$ is a finite Blaschke product of degree at least two and the Julia set of $R$ is the unit circle, using the Kirchberg–Phillips classification theorem.     

The ring of evenly weighted points on the line

Let \(M_w = ({\mathbb {P}}^1)^n /\!/\hbox {SL}_2\) denote the geometric invariant theory quotient of \(({\mathbb {P}}^1)^n\) by the diagonal action of \(\hbox {SL}_2\) using the line bundle \(\mathcal {O}(w_1,w_2,\ldots ,w_n)\) on \(({\mathbb {P}}^1)^n\) . Let \(R_w\) be the coordinate ring of \(M_w\) . We give a closed formula for the Hilbert function of \(R_w\) , which allows us to compute the degree of \(M_w\) . The graded parts of \(R_w\) are certain Kostka numbers, so this Hilbert function computes stretched Kostka numbers. If all the weights \(w_i\) are even, we find a presentation of \(R_w\) so that the ideal \(I_w\) of this presentation has a quadratic Gröbner basis. In particular, \(R_w\) is Koszul. We obtain this result by studying the homogeneous coordinate ring of a projective toric variety arising as a degeneration of \(M_w\) .     

A weak second term identity of the regularized Siegel-Weil formula for unitary groups

Following W. T. Gan and S. Takeda, we obtain a weak second term identity of the regularized Siegel-Weil formula for the unitary dual pair $(U(n,n),U(V))$ , where $V$ is a split hermitian space of dimension $2r$ with $r+1\le n \le 2r-1$ . As an application, we obtain a Rallis inner product formula for theta lifts from $U(W)$ to $U(V)$ for a skew-hermitian space $W$ of dimension $n$ .     

Counting algebraic integers of fixed degree and bounded height

Let \(k\) be a number field. For \({\mathcal {H}}\rightarrow \infty \) , we give an asymptotic formula for the number of algebraic integers of absolute Weil height bounded by \({\mathcal {H}}\) and fixed degree over \(k\) .     

Characterization of some simple groups by the multiplicity pattern

Let $G$ be a finite group and let ${\mathrm{Irr}}(G)$ denote the set of all complex irreducible characters of $G.$ Let ${\mathrm{cd}}(G)$ be the set of all character degrees of $G.$ For each positive integer $d,$ the multiplicity of $d$ in $G$ is defined to be the number of irreducible characters of $G$ having the same degree $d.$ The multiplicity pattern ${\mathrm{mp}}(G)$ is the vector whose first coordinate is $|G:G^{\prime }|$ and for $i\ge 1,$ the $(i+1)$ th-coordinate of ${\mathrm{mp}}(G)$ is the multiplicity of the $i$ th-smallest nontrivial character degree of $G.$ In this paper, we show that every nonabelian simple group with at most $7$ distinct character degrees is uniquely determined by the multiplicity pattern.     

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.     

On the existence of Evans potentials

It is shown that, for every noncompact parabolic Riemannian manifold $X$ and every nonpolar compact $K$ in  $X$ , there exists a positive harmonic function on $X\setminus K$ which tends to $\infty $ at infinity. (This is trivial for $\mathbb{R }$ , easy for  $\mathbb{R }^2$ , and known for parabolic Riemann surfaces.) In fact, the statement is proven, more generally, for any noncompact connected Brelot harmonic space  $X$ , where constants are the only positive superharmonic functions and, for every nonpolar compact set  $K$ , there is a symmetric (positive) Green function for $X\setminus K$ . This includes the case of parabolic Riemannian manifolds. Without symmetry, however, the statement may fail. This is shown by an example, where the underlying space is a graph (the union of the parallel half-lines $\left[0,\infty \right)\times \{0\}, \left[0,\infty \right)\times \{1\}$ , and the line segments $\{n\}\times [0,1], n=0,1,2,\dots $ ).